An Analysis of Continuous Bi-Directional Reactor Refueling

Continuous Lumping Model of an Industrial Refinery Isomax Reactor

Bi-directional safety analysis of product lines

As product-line engineering becomes more widespread, more safety-critical software product lines are being built. This paper describes a structured method for performing safety analysis on a software product line, building on standard product-line assets: product-line requirements, architecture, and scenarios. The safety-analysis method is bi-directional in that it combines a forward analysis (...

an infinite planar array of rectangular microstrip patch antenna analysis

the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...

An Automatic, Bi-Directional Service Integration Gateway

There is little doubt that Web services are becoming a part of the essential fabric enabling machine-to-machine information exchange across the Web. However, there is also a perceptible progression toward the realisation that this principal means of invoking operations on remote hosts will become insufficient to their task almost as quickly as they rose to prominence. Already emerging amongst t...

An Algebraic Approach to Bi-directional Updating

In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in different web browsers, the source and the view in an editor, or views in databases, to name a few. This paper proposes a formal model of such tasks, basing on a programming language allowing injective functions only. The ...